#include<stdio.h>
#include<stdlib.h>
int main(void)
{
	char s1[128]={0};
	char s2[128]={0};
	scanf("%s",s1);
	printf("s1:%s\n",s1);

	scanf("%s",s2);
	printf("s2:%s\n",s2);

	exit(0);
}
